Biblioteca UPSE

	1.	Especificación, verificación y derivación formal de programas por Álvez, Javier [autor] \| Arregi, Xabier [autor] \| Gaintzarain, Jose [autor]. Editor: Madrid (España): Pearson Educación, 2015Disponibilidad: Ítems disponibles para préstamo: Biblioteca General [Signatura topográfica: 004 ALVe] (2). Hacer reserva Agregar al carrito (remover)
	2.	Microcontrolador 8051 por Mackenzie, I. Scott [autor] \| Romero Fernández, Ricardo Javier [traductor] \| W. Phan, Raphael C [autor] \| Romero Elizondo, Ricardo Javier [traductor] \| Carbajal Fernández, Cuauhtémoc [revisión técnica] \| Morán Loza, José Miguel [revisión técnica]. Edición: Cuarta edición Editor: México D. F. (México): Pearson Educación, 2007Disponibilidad: Ítems disponibles para préstamo: Biblioteca General [Signatura topográfica: 629.895 MACm] (2). Hacer reserva Agregar al carrito (remover)

Biblioteca UPSE -